A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint
نویسندگان
چکیده
This paper presents a sweep based algorithm for the kdimensional cumulative constraint, which can operate in filtering mode as well as in greedy assignment mode. Given n tasks and k resources, this algorithm has a worst-case time complexity of O(kn) but scales well in practice. In greedy assignment mode, it handles up to 1 million tasks with 64 resources in one single constraint in SICStus. In filtering mode, on our benchmarks, it yields a speed-up of about k when compared to its decomposition into k independent cumulative constraints.
منابع مشابه
Simple and Scalable Time-Table Filtering for the Cumulative Constraint
Cumulative is an essential constraint in the CP framework, and is present in scheduling and packing applications. The lightest filtering for the cumulative constraint is time-tabling. It has been improved several times over the last decade. The best known theoretical time complexity for time-table is O(n logn) introduced by Ouellet and Quimper. We show a new algorithm able to run in O(n), by re...
متن کاملA Scalable Sweep Algorithm for the cumulative and bin-packing constraints
This paper presents a new sweep based algorithm for the cumulative constraint that combines filtering with a greedy mode. The algorithm has a worst case complexity of O(n log n) in the context of cumulative and O(n log n) in the context of bin-packing, where n is the number of tasks (items). It can handle up to 256000 tasks (items) in less than 15 minutes within a single cumulative constraint.
متن کاملDynamic Sweep Filtering Algorithm for FlexC
We investigate cumulative scheduling in uncertain environments, using constraint programming. We detail in this paper the dynamic sweep filtering algorithm of the FlexC global constraint.
متن کاملThe Soft Cumulative Constraint
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کاملar X iv : 0 90 7 . 09 39 v 1 [ cs . A I ] 6 J ul 2 00 9 The Soft Cumulative Constraint
This research report presents an extension of Cumulative of Choco constraint solver, which is useful to encode over-constrained cumulative problems. This new global constraint uses sweep and task interval violation-based algorithms.
متن کامل